failure 506:

Requirement failed: {scalbn.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
location
trace /var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 21055
occurence
scenario util_float_scenario
specification function scalbn_spec()
parameter value  CallContext context = [pid=17999,thr=b752d6c0]
parameter value  Unifloat * @x = (double) 1.7976931348623157e+308 (0x.FFFFFFFFFFFFF800P1024)
parameter value  Unifloat * x = (double) 1.7976931348623157e+308 (0x.FFFFFFFFFFFFF800P1024)
parameter value  IntT n = 3
parameter value  ErrorCode * @errno = EOK
parameter value  ErrorCode * errno = EOK
return value  (Unifloat *) (double) Infinity
coverage
& branch
C
x - finite non-zero value, n - non-zero
properties
REQ failed scalbn.11.01.01
kind POSTCONDITION_FAILED
similar known bug(s)
The scalbn() family of functions shall compute x * FLT_RADIX^n efficiently, not normally by computing FLT_RADIX^n explicitly. According to LSB, the functions shall set ERANGE error code when overflow occurs. But on the target machine the function sets error code EOK instead of ERANGE in this case.